Groebner Bases for Everyone with CoCoA-5 and CoCoALib
نویسندگان
چکیده
We present a survey on the developments related to Gröbner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a “mathematician”-friendly computational laboratory for studying Commutative Algebra, most especially Gröbner bases. Always maintaining this “friendly” tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Gröbner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5 [5], to problem-specific optimized implementations, to the computer–computer communication with the open source C++ software library, CoCoALib [4], or the prototype OpenMath-based server. The openness and clean design of CoCoALib and CoCoA-5 are intended to offer different levels of usage, and to encourage external contributions.
منابع مشابه
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particularly Gröbner bases. It offers a dedicated, mathematician-friendly programming language, with many built-in functions. Its mathematical core is CoCoALib, an opensource C++ library, designed to facilitate integration with other software. We give an overview of the latest developments of the library ...
متن کاملCoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra
The CoCoA project began in 1987, and conducts research into Computational Commutative Algebra (from which its name comes) with particular emphasis on Gröbner bases of ideals in multivariate polynomial rings, and related areas. A major output of the project is the CoCoA software, including the CoCoA-5 interactive system and the CoCoALib C++ library. The software is open-source (GPL v.3), and und...
متن کاملCoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
First released in 1988, CoCoA is a special-purpose system for doingComputations in Commutative Algebra: i.e. it is a system specialized in the algorithmic treatment of polynomials. It is freely available and offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms ([6]). One of the main purposes of the CoCoA system is to provide a “laboratory” for study...
متن کاملGroebner Bases Computation in Boolean Rings is P-SPACE
The theory of Groebner Bases, which has recently been honored with the ACM Paris Kanellakis Theory and Practice Award, has become a crucial building block to computer algebra, and is widely used in science, engineering, and computer science. It is wellknown that Groebner bases computation is EXP-SPACE in a general polynomial ring setting. However, for many important applications in computer sci...
متن کاملA P-SPACE Algorithm for Groebner Bases Computation in Boolean Rings
The theory of Groebner Bases, which has recently been honored with the ACM Paris Kanellakis Theory and Practice Award, has become a crucial building block to computer algebra, and is widely used in science, engineering, and computer science. It is wellknown that Groebner bases computation is EXP-SPACE in a general setting. In this paper, we give an algorithm to show that Groebner bases computat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1611.07306 شماره
صفحات -
تاریخ انتشار 2016